ecl-halt-kind(x)
== ecl_ind(x;k,test.inl(k);a,b,ha,hb.hb;a,b,ha,hb.inr();a,b,ha,hb.inr();a,ha.ha;a,m,ha.ha;a,m,ha.ha;a,l,ha.inr()) 

latex

Definitions	ecl ind, inl(x), inr(x),
FDL editor aliases	ecl-halt-kind